HP aligns with customers through agile development Leveraging HP Quality Center software, HP developers adopt agile, iterative development approach, improving QA coverage and market adaptability “The agile approach to

Source URL: static.ziftsolutions.com

• Software
• Software testing
• Graphical user interface testing
• HP Quality Center
• Quality assurance
• Agile software development
• HP Software Division
• Software development process
• Application lifecycle management
• Software development
• Software project management
• Technology

TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA)

Source URL: www.cse.unsw.edu.au

• Compiler construction
• Software bugs
• Static program analysis
• C
• Dead code
• Software testing
• Pointer
• Static single assignment form
• Parsing
• Software engineering
• Computing
• Computer programming

Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales

Source URL: www.cse.unsw.edu.au

• Electronic engineering
• Logic in computer science
• Software testing
• Software verification
• Static program analysis
• Model checking
• Formal verification
• Programming tool
• Software bug
• Formal methods
• Software development
• Theoretical computer science

Draft Special PublicationSource Code Security Analysis Tool Functional Specification Version 1.0 Information Technology Laboratory (ITL), Software

Source URL: samate.nist.gov

• Computer security
• Software testing
• Computer network security
• Security engineering
• Software security assurance
• Vulnerability
• Application security
• Software assurance
• Static program analysis
• Software quality
• Cyberwarfare
• Security

Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales

Source URL: www.cse.unsw.edu.au

• Compiler construction
• NuSMV
• Software testing
• Model checking
• Static program analysis
• Abstract interpretation
• Parsing
• Software verification
• Coverity
• Model checkers
• Software
• Computing

Breathe Easy Respiratory Care in Neuromuscular Disorders The Muscular Dystrophy Association is a voluntary health agency aimed at conquering more than 40

Source URL: static.mda.org

• Intensive care medicine
• Muscular dystrophy
• Motor neurone disease
• Mechanical ventilation
• Muscular Dystrophy Association
• Duchenne muscular dystrophy
• Pulmonary function testing
• Respiratory failure
• Amyotrophic lateral sclerosis
• Medicine
• Health
• Respiratory therapy

Microsoft PowerPoint - Seshia-UsableVerif-Nov10

Source URL: fm.csl.sri.com

• Electronics
• Cyber-physical system
• Model checking
• Worst-case execution time
• Embedded system
• Static timing analysis
• Software verification
• System
• Actor model
• Technology
• Computing
• Software testing

TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck

Source URL: www.cse.unsw.edu.au

• Formal methods
• Software testing
• Program analysis
• Logic in computer science
• Procedural programming languages
• Static program analysis
• Vulnerability
• Model checking
• Abstract interpretation
• Computing
• Software engineering
• Computer programming

CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science

Source URL: www.cs.sun.ac.za

• Software development
• Java Pathfinder
• Software
• Logic in computer science
• Model checking
• Software verification
• Runtime verification
• Static program analysis
• Verification and validation
• Formal methods
• Software testing
• Theoretical computer science

Fault Domain-Based Testing in Imperfect Situations: A Heuristic Approach and Case Studies / Appendices Fevzi Belli University of Paderborn and Izmir Institute of Technology _

Source URL: static-content.springer.com